<?php
/**
* This file is used to reset the colors of squres used.
*/
$images = array(
	# Do NOT modify the file name.
	# Modify the color codes.
	'css/specials.png' => array(0xFF, 0xFF, 0x00), # Yellowish
	'css/inactive.png' => array(0xFF, 0x66, 0x00), # Reddish
	'css/active.png'   => array(0x00, 0x66, 0x00), # Green
	'css/modified.png' => array(0x00, 0xFF, 0x00), # Dark Green
	'css/file.png'     => array(0x00, 0x00, 0xFF), # Blue
	'css/error.png'    => array(0xFF, 0x00, 0x00), # Red
);

foreach($images as $filename => $rgb)
{
	$image = imagecreatetruecolor(10, 10);
	$background_color = imagecolorallocate($image, $rgb[0], $rgb[1], $rgb[2]);
	imagefill($image, 0, 0, $background_color);
	
	# Produce .png image
	#imagepng($image, $filename);
	
	# Produce the .gif files as well
	$filename = str_replace('.png', '.gif', $filename);
	imagegif($image, $filename);
	
	imagedestroy($image);
}

header('Location: index.php', 301);
?>